Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...) that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages containing (...) the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premises and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective tonk. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of tonk. The upshot is that, whatever story one has to tell about tonk, there are good reasons to tell a similar story about the comma (...) in typical multiple-conclusion systems, and vice versa. (shrink)

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...) part about (a property related to) the soundness of arguments. (shrink)

In philosophical logic and proof theory, we often find multiple-conclusion systems that induce a conjunctive reading of premises and a disjunctive reading of conclusions. In mathematical logic, in contrast, we often find multiple-conclusion systems that induce a conjunctive reading of both premises and conclusions. This paper studies some technical and philosophical aspects of this latter approach to multiple-conclusion consequence. The takeaway is that, while the importance of disjunctive multiple conclusions is beyond doubt, conjunctive multiple conclusions also have philosophical interest. First, (...) because there is some evidence that there are arguments with conjunctive multiple conclusions in natural language. Second, because conjunctive multiple conclusions are compatible with the reflexivity and transitivity of logical consequence, and this allows them to cohere better with some of our best accounts of what logical consequence is. (shrink)

A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...) In this paper we tackle this expressive issue. We assume some background sentential language as given and define what we call an inferential language, that is, a language whose atomic formulas are inferences. We provide a model-theoretic characterization of validity for this language—relative to some given characterization of validity for the background sentential language—and provide a proof-theoretic analysis of validity. We argue that our novel language has fruitful philosophical applications. Lastly, we generalize some of our definitions and results to arbitrary metainferential levels. (shrink)

The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of truth needs to (...) satisfy a transparency principle to fulfil the infinitary function. Picollo and Schindler (Erkenntnis 83:899–928, 2017) argue against this idea. They prove that, given certain assumptions, an elimination principle is sufficient for the purpose. Then, they pose a challenge: to show why we should incorporate introduction principles to our theory of truth. In this essay I take on the challenge. I show that, given the authors’ assumptions, an introduction principle is also sufficient to perform the infinitary function. (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of ‘increasingly classical’ logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué sentido la validez (...) es una propiedad formal. La segunda sección contiene la introducción histórica; nos detenemos, en particular, a estudiar dos hitos: el nacimiento de la lógica como disciplina con Aristóteles, y la intervención de Gottlob Frege, a quien se debe, en gran parte, el surgimiento de la lógica tal como la conocemos. Finalmente, damos un breve comentario del estado actual de la disciplina. (shrink)

Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to study the prospect of (...) a logical pluralism based on different interpretations of logical systems. First, we give our analysis of what it means to interpret a logic – and make some hopefully useful distinctions along the way. Second, we present what we call an interpretational logical pluralism: there is more than one correct logic and a logic is correct only if it has some adequate interpretation. We consider four variants of this idea, bring up some possible objections, and try to find plausible solutions on behalf of the pluralist. We will argue that interpretations of logical systems provide a promising – albeit not unproblematic – route to logical pluralism. (shrink)

Entrevista realizada por Facundo Giuliano e Daiana Neil a Slavoj Žižek.

In this paper, we articulate a version of non-standard A-theory—which we call Flow Fragmentalism—in relation to its take on the issue of supervenience of truth on being. According to the Truth Supervenes on Being (TSB) Principle, the truth of past- and future-tensed propositions supervenes, respectively, on past and future facts. Since the standard presentist denies the existence of past and future entities and facts concerning them that do not obtain in the present, she seems to lack the resources to accept (...) both past and future-tensed truths and the TSB Principle. Contrariwise, positions in philosophy of time that accept an eternalist ontology (e.g., B-theory, moving spotlight, and Fine’s and Lipman’s versions of fragmentalism) allow for a “direct” supervenience base for past- and future-tensed truths. We argue that Flow Fragmentalism constitutes a middle ground, which retains most of the advantages of both views, and allows us to articulate a novel account of the passage of time. (shrink)

There seems to be a "what it is like" to the experience of the flow of time in any conscious activity of ours. In this paper, I argue that the feeling that time passes should be understood as a phenomenal modifier of our mental life, in roughly the same way as the blurred or vivid nature of a visual experience can be seen as an element of the experience that modifies the way it feels, without representing the world as being (...) in a certain way. I defend my positions against the deflationary view according to which the passing of time does not have a specific phenomenal character, and the representationalist view according to which the feeling of time passing is a feature of the representational content of our experience, like being red or yellow. (shrink)

The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of tensed (...) facts. In this way, we show how to reconcile a genuinely A-theoretic branching-time model with the idea that there is a branch corresponding to the thin red line, that is, the branch that will turn out to be the actual future history of the world. (shrink)

The present work looks at what we call “the multiverse of quantification”, where visible and invisible numbers permeate all aspects and venues of life. We review the contributions of different authors who focus on the roles of quantification in society, with the aim of capturing different and sometimes separate voices. Several scholars, including economists, jurists, philosophers, sociologists, communication and data scientists, express concerns or identify critical areas of our relationship with new technologies of ‘numericization’. While mindful of the important specificities (...) of the different families of quantification, we use our broad and holistic canvas to explore possible spaces for a more systematic investigation of incumbent and novel quantifications, as to increase communication among disciplinary communities, and among these and society, in the pursuit a democratic agency and self-defence. (shrink)

Torrengo, Giuliano_Propositions and the Metaphysics of Time.

According to Buddhist soteriology, fear is a direct cause of suffering and one of the main obstacles in the path to liberation. Pāli Suttas and Abhidhamma present a number of sophisticated strategies to deal with fear and to overcome it. Nevertheless, in the Nikāyas and in the Abhidhamma there are also consistent instructions about implementing fear in meditative practices and considering it as a valuable ally in the pursuit of nibbāna By means of a lexicographical study of selected passages and (...) especially of two compounds (bhayūparata and abhayūparata), this paper demonstrates that fear may have the crucial function of stimulating the meditator: through reiterated admonishments and reflections that evoke a feeling of dread, the meditator gets weary of unwholesome patterns and is prompted to put effort in his/her own practice. Evidence proves that this set of instructions is ultimately consistent with the several teachings that emphasize the importance of counteracting fear and fostering fearlessness, which is described as a quality of liberation as well as an attitude to be cultivated. In fact, a close analysis of the dynamics involved in bhaya (fear) and abhaya (fearlessness) as graphically depicted in the Nikāyas and in the Abhidhamma texts, reveals that stirring fear and letting go of fear are two essential steps of the same process. (shrink)

This review-essay explores approaches to the thought of the creative Soviet Marxist thinker Evald Ilyenkov as discussed in a recent book edited by Alex Levant and Vesa Oittinen, Dialectics of the Ideal: Evald Ilyenkov and Creative Soviet Marxism. The book consists of a series of commentaries and contextual essays which centre on the translated text of Ilyenkov’s Dialectics of the Ideal. The approach the authors take to Ilyenkov’s work differs from previous ones of exploring the totality of Ilyenkov’s thought or (...) eclectic aspects of it. By commenting on and contextualising Ilyenkov’s major text on the Ideal they locate the contribution of Ilyenkov in dialogue with traditions of classical European philosophy, and Western and Soviet Marxism, and in his importance to contemporary issues in philosophy and other disciplines. A deep analysis of Ilyenkov’s dense and often complex text is also given. By doing so the authors highlight the immense contribution of Ilyenkov to contemporary thought. (shrink)

v. 1. Presentazione de Biagia Catanzaro Gligora -- v. 2. Logica, totalità-reale e realtà -- v. 3. Anima e coscienza.

In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.

This collection of essays explores the history of the book in pre-modern South Asia looking at the production, circulation, fruition and preservation of manuscripts in different areas and across time. Edited by the team of the Cambridge-based Sanskrit Manuscripts Project and including contributions of the researchers who collaborated with it, it covers a wide range of topics related to South Asian manuscript culture: from the material dimension and the complicated interactions of manuscripts with printing in late medieval Tibet and in (...) modern Tamil Nadu, to reading, writing, editing and educational practices, from manuscripts as sources for the study of religious, literary and intellectual traditions, to the creation of collections in medieval India and Cambodia, and the formation of the Cambridge collections in the colonial period. The contributions reflect the variety of idioms, literary genres, religious movements, and social actors of ancient South Asia, as well as the variety of approaches, interests and specialisms of the authors, and their impassionate engagement with manuscripts. (shrink)

The volume will implement the research efforts of both Machiavelli scholars and those in related general and specific fields.

The analysis of the derogatory aspect of slurs has recently aroused interest among philosophers of language. A puzzling element of it is its erratic behaviour in embeddings, for instance negation or belief reports. The derogatory aspect seems sometimes to “scope out” from the embedding to the context of utterance, while at other times it seems to interact with the linguistic constructions in which the slur is implanted. I argue that slurs force us to maintain a kind of semantic indeterminacy which, (...) to my knowledge, has passed largely unnoticed in philosophy of language. (shrink)

Many philosophers regard collective behavior and attitudes as the ground of the whole of social reality. According to this popular view, society is composed basically of collective intentions and cooperative behaviors; this is so both for informal contexts involving small groups and for complex institutional structures. In this article, I challenge this view, and propose an alternative approach, which I term institutional externalism. I argue that institutions are characterized by the tendency to defer to elements that are external to the (...) content of collective intentions—such as laws, declarations, and contracts. According to institutional externalism, those elements are the grounds of institutional statutes, rights, and duties. (shrink)

To a greater extent than in other technical domains, research and progress in Artificial Intelligence has always been entwined with the fictional. Its language echoes strongly with other forms of cultural narratives, such as fairytales, myth and religion. In this essay we present varied examples that illustrate how these analogies have guided not only readings of the AI enterprise by commentators outside the community but also inspired AI researchers themselves. Owing to their influence, we pay particular attention to the similarities (...) between religious language and the way in which the potential advent of greater than human intelligence is presented contemporarily. We then move on to the role that fiction, science fiction most of all, has historically played and is still playing in the discussion of AI by influencing researchers and the public, shifting the weights of different scenarios in our collectively perceived probability space. We sum up by arguing that the lore surrounding AI research, ancient and modern, points to the ancestral and shared human motivations that drive researchers in their pursuit and fascinate humanity at large. These points of narrative entanglement where AI meets the wider culture should serve to amplify the call to engage ourselves with the discussion of the potential destination of this technology. (shrink)

Las llamadas manāqib (sg. manqaba) son un género literario bastante extendido en los últimos siglos. Algunas de estas manāqib han sido publicadas en ediciones críticas, y su circulación entre los estudiosos suele referirse a la historia norteafricana o a ciertos aspectos de la religiosidad popular. Sin embargo, este tipo de obras ha recibido una atención muy limitada desde el punto de vista lingüístico, a pesar de que presentan características propias de las variedades habladas del árabe. Por lo tanto, las manāqib (...) constituyen una de las pocas fuentes que pueden utilizarse para analizar el árabe hablado y escrito en el pasado. El objetivo de este artículo es estudiar la lengua de la obra titulada Rawḍat al-azhār wa-munyat al-sādāt al-abrār fī manāqib Sīdī ʿAbd al-Salām al-Asmar, una colección de manāqib relacionadas con el santo sufí libio ʿAbd al-Salām al-Asmar de la ciudad de Zlīten (siglo XV), escrita por Karīm al-Dīn al-Baramūnī al-Miṣrātī. (shrink)

This article details the variety of critical strategies in Mary Wollstonecraft’s A Vindication of the Rights of Woman, finding strong connections with her writing as a reviewer for the Analytical Review, the literary review published by the reformer and Dissenter Joseph Johnson. In Rights of Woman, Wollstonecraft employed textual analyses and an evolving set of theoretical positions that had been introduced in the course of her career at the Analytical Review. By elucidating the importance of the reviews and the specificity (...) of Wollstonecraft’s procedures, this article contributes to a growing consensus that Rights of Woman initiated feminist literary criticism. (shrink)

Active labor-market policies have developed significantly over the past two decades across Organization for Economic Cooperation and Development countries, with substantial cross-national differences in terms of both extent and overall orientation. The objective of this article is to account for cross-national variation in this policy field. It starts by reviewing existing scholarship concerning political, institutional, and ideational determinants of ALMPs. It then argues that ALMP is too broad a category to be used without further specification, and it develops a typology (...) of four different types of ALMPs: incentive reinforcement, employment assistance, occupation, and human capital investment. These are discussed and examined through ALMP expenditure profiles in selected countries. The article uses this typology to analyze ALMP trajectories in six Western European countries and shows that the role of this instrument changes dramatically over time. It concludes that there is little regularity in the political determinants of ALMPs. In contrast, it finds strong institutional and ideational effects, nested in the interaction between the changing economic context and existing labor-market policies. (shrink)

This article analyses Valla’s historiographical stance in the light of his dialectical assumptions about possibility, verisimilitude, and truth. I argue that, at variance with most humanists, Valla believed that historical truth should satisfy the requirements of logical necessity, being therefore incompatible with verisimilar reconstructions of past events. However, Valla also realized that a critical method of assessment grounded in verisimilitude was indispensable to the analysis of doubtful accounts and traditions. In order to explore these matters, Valla developed a genre distinct (...) from history proper and closer to the forensic, inquisitorial tradition. While history had to deal with necessary truths, the aim of ‘historical inquisitio’ was to draw probable conclusions from pieces of conjectural evidence. According to Valla’s dialectical principles, these conclusions were not absolutely true but could be considered true thanks to the notion of intellectual acumen, which allowed Valla to take a leap from the field of possibility or verisimilitude to that of truth and necessity. (shrink)

As far as our experience goes, we live in a dynamic present. Those two phenomenal features of experience—presentness and dynamism—are obviously connected. However, how they are connected is not obvious at all. In this paper, I criticise the view according to which the former can explain the latter, which I call sophisticated representationalism. My criticism will be based on an ambiguity in the notion of tense found in the philosophical literature, that between the perspectival understanding and the dynamic understanding of (...) tenses. The distinction is not just of independent interest, but it has a role in providing indirect evidence for the claim that the feeling of passage of time should be understood in non-representationalist terms. (shrink)

In this paper, I present a problem for the realist with respect to the institutional sphere, and suggest a solution. Roughly, the problem lies in a contradiction that arises as soon as institutional contexts are allowed to influence the institutional profile of objects and events not only in the present, but also in the past. If such “retroactive enactments” are effective, in order to avoid contradiction the realist seems to have to accept the unpleasant conclusion that institutions can create a (...) past that has never been present. I will defend a solution which involves a distinction between temporal and atemporal types of institutional kinds that has, I maintain, independent interest. (shrink)

The commitment of transplant physicians to protect the physical and psychological health of potential donors is fundamental to the process of living donor organ transplantation. It is appropriate that strict regulations to govern an individual’s decision to donate have been developed. Some may argue that adherence to such regulations creates a doctor-patient relationship that is rooted in paternalism, which is in drastic contrast with a doctor-patient relationship that is rooted in patients’ autonomy, characteristic of most other operative interventions.In this article (...) we analyze the similarities between cosmetic plastic surgery and living donor surgery as examples of surgeries governed by different ethical principles. It is interesting that, while the prevailing ethical approach in living donor surgery is based on paternalism, the ethical principle guiding cosmetic surgery is respect for patients’ autonomy. The purpose of this article is not to criticize either practice, but to suggest that, given the similarities between the two procedures, both operative interventions should be guided by the same ethical principle: a respect for patients’ autonomy. We further suggest that if living organ donation valued donors’ autonomy as much as cosmetic plastic surgery does, we might witness a wider acceptance of and increase in living organ donation. (shrink)

Many philosophers take for granted that there is a strong pre‐theoretical intuition that the future is open and that it is worth trying to make sense of that intuition in theoretical terms. In this paper, I give a characterisation of the ordinary intuition in terms of three elements: our sense of agency, the difference in normativity between memories and expectations and naïve understanding of causality. Those intuitions allow us to pin down certain desiderata that an account of openness should respect. (...) Firstly, the fact that the future is open is not merely due to our epistemic situation (the fact that we do not know what the future will bring). Secondly, openness is not merely a matter of nomological indeterminism; even if indeterminism is part of what makes the future open, it cannot be the end of the story. Thirdly, openness requires more than ‘modal flexibility’ (i.e. the fact that the future could be different from what actually will be). I provide a minimal theory of openness, which respects those desiderata and which is based on the semantic notion of unsettledness and the metaphysical notion of indeterminacy. Roughly, the future is open if future‐tensed claims concerning contingent matters are such that their truth value is presently unsettled, and they are semantically unsettled because the future is metaphysically indeterminate. I then argue that this theory is compatible with what I call the closed future view. According to the latter, there is only one way in which things will go, although, given indeterminism, it is unsettled which way it is. I then consider an objection to my compatibility claim: if the open future claim is metaphysically substantive, there should be a way to differentiate it from the closed future scenario. I consider whether a friend of openness could rely on a dynamic metaphysics of time (such as presentism, or the growing block view) in order to differentiate their position from the closed future scenario. I argue that the appeal to a dynamic universe is ineffective. (shrink)